gdk: Add a private method to get a server timestamp
authorMatthias Clasen <mclasen@redhat.com>
Fri, 17 Nov 2017 20:39:08 +0000 (15:39 -0500)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 17 Nov 2017 20:39:08 +0000 (15:39 -0500)
commitdbb18ad5d88584b14bffea31bd9f8327d2d859dd
treeafbf6b5317a37ab4b5dcbad8ecc154fdf151064f
parentfc579b121a3f93b1c692bdff189162770983cf85
gdk: Add a private method to get a server timestamp

This is needed in the clipboard code. We don't make
it public, since that code is destined to eventually
live in gdk anyway.
gdk/broadway/gdkdisplay-broadway.c
gdk/gdk-private.h
gdk/gdkdisplay.c
gdk/gdkdisplayprivate.h
gdk/win32/gdkdisplay-win32.c
gdk/x11/gdkdisplay-x11.c